Decreasing mathematical strength in one formalization of parametric polymorphism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI res

Source URL: intelligence.org

TDT vignette Use of snpStats in family–based studies David Clayton April 16, 2015 Pedigree data

Source URL: www.bioconductor.org

• Classical genetics
• Population genetics
• Non-parametric statistics
• Genetic genealogy
• Genetic linkage
• Histogram
• Single-nucleotide polymorphism
• Genetics
• Biology
• Statistics

Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy

Source URL: www.cs.bham.ac.uk

• Lambda calculus
• Computability theory
• Fixed-point combinator
• Combinatory logic
• Sheaf
• Theoretical computer science
• Mathematics
• Applied mathematics

Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ahe´ University of Aarhus

Source URL: www.gafter.com

• Type theory
• Computer programming
• Polymorphism
• Data types
• Generic programming
• Covariance and contravariance
• Subtype polymorphism
• Parametric polymorphism
• Type system
• Software engineering
• Computing
• Object-oriented programming

, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN

Source URL: theory.stanford.edu

• Programming language theory
• Subtype polymorphism
• Type inference
• Type system
• Hindley–Milner
• Variable
• System F
• Function
• Parametric polymorphism
• Type theory
• Software engineering
• Mathematics

Parametric polymorphism through run-time sealing or, Theorems for low, low prices! Jacob Matthews1 and Amal Ahmed2 2 1 University of Chicago

Source URL: www.ccs.neu.edu

• Symbol
• Programming language semantics
• Normalisation by evaluation

Polymorphism in the Spotlight: Studying Its Prevalence in Java and Smalltalk Nevena Milojkovi´c, Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz Software Composition Group University of Bern, Switzerland {nevena

Source URL: scg.unibe.ch

• Object-oriented programming
• Type theory
• Data types
• Polymorphism
• Method
• Smalltalk
• Duck typing
• Parametric polymorphism
• Template method pattern
• Software engineering
• Computing
• Computer programming

Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗

Source URL: www.seas.upenn.edu

• Type theory
• Functional programming
• Data types
• Higher-order functions
• Lambda calculus
• Higher-order abstract syntax
• Eval
• Catamorphism
• System F
• Software engineering
• Computing
• Declarative programming

Ecstatic – Type Inference for Ruby Using the Cartesian Product Algorithm Spring 2007 Master’s Thesis (SW10)

Source URL: projekter.aau.dk

• Programming language theory
• Ruby
• Rack
• Type inference
• Variable
• Parametric polymorphism
• Algorithm
• Software engineering
• Type theory
• Computing

A Simple Proof Technique for Certain Parametricity Results Karl Crary Carnegie Mellon University Abstract Many properties of parametric, polymorphic functions

Source URL: www.cs.cornell.edu

• Computing
• Parametricity
• Stack
• Polymorphism
• Unit type
• Type theory
• Software engineering
• Data types